<html>
<head><meta http-equiv="refresh" content="0; url=doc/html/index.html" /></head>
<body>Please go to <a href="doc/index.html">doc/html/index.html</a></body>
</html>
